Sort by
Refine Your Search
-
, preferably Idris, and working with dependently-typed language architectures and evolving them and experience in developing meta-theories for dependently typed languages, preferably observational and
Enter an email to receive alerts for linguistics "University of Oxford " positions